State-Driven Test Generation Based On UML
نویسندگان
چکیده
Both object-oriented modeling techniques using UML and software testing play important roles in current commercial software development. The integration of test case generation and UML is highly expected. In this project, we survey the current advances of this field and introduce three representative approaches of test case generation based on UML. The respective pros and cons are discussed in depth. Finally, our vision of future direction in this field is given.
منابع مشابه
Automating the Testing of Object Behaviour: A Statechart-Driven Approach
The evolution of current modeling specifications gives rise to the problem of generating automated test cases from a variety of application tools. Past endeavours on behavioural testing of UML statecharts have not systematically leveraged the potential of existing graph theory for testing of objects. Therefore there exists a need for a simple, tool-independent, and effective method for automati...
متن کاملA Holistic Model-driven Approach to Generate U2TP Test Specifications Using BPMN and UML
Testing process-based information systems is cost intensive and challenging due to rapid technological advancement and increasing complexity of processes. A number of existing process-based test generation approaches use process code for test generation. They operate on lower levels of abstraction and start the test activity later in the development cycle, which is not feasible. Other model-bas...
متن کاملA model-driven validation & verification environment for embedded systems
This paper presents a model-driven environment for HW/SW co–design and analysis of embedded systems based on the Unified Modeling Language, UML profiles for SystemC/multithread C, and the Abstract State Machine formal method. The environment supports a model-driven design methodology which provides a graphical high-level representation of hardware and software components, and allows C/C++/Syste...
متن کاملMutation-driven Test Case Generation Using Short-lived Concurrent Mutants - First Results
In the context of black-box testing, generating test cases through model mutation is known to produce powerful test suites but usually has the drawback of being prohibitively expensive. This paper presents a new version of the tool MoMuT::UML, which implements a scalable version of mutation-driven test case generation (MDTCG). It is able to handle industrial-sized UML models comprising networks...
متن کاملFormal Test Generation from UML Models
In this paper we will explain our approach for generating test cases for a UML system model. Despite the fact that UML authors claim that UML semantics are precise enough to define non-ambiguous models, we find that the overlap of the different views makes it difficult to explore and make deduction on the state space of the modeled system in order to generate test cases. Our approach is thus ba...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007